A Rust Shaped Hole
mnvr.in·21h·
Discuss: Hacker News
🦀Rust
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·4h
✅Formal Verification
[R] Interesting paper on cost-aware prompt optimization (CAPO)
reddit.com·2h·
Discuss: r/MachineLearning
🦀Rust
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·2d·
Discuss: r/programming
🦀Rust
"high level" languages are easier to optimize
jyn.dev·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🦀Rust
On The Role of Intentionality in Knowledge Representation: Analyzing Scene Context for Cognitive Agents with a Tiny Language Model
arxiv.org·1d
🦀Rust
Row Polymorphic Programming
stranger.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🦀Rust
HKGAI-V1: Towards Regional Sovereign Large Language Model for Hong Kong
arxiv.org·4h
🎨UX, UI
Grammatical Structure and Grammatical Variations in Non-Metric Iranian Classical Music
arxiv.org·4h
✅Formal Verification
Intuitive Fine-Tuning: Towards Simplifying Alignment into a Single Process
arxiv.org·1d
✅Formal Verification
From C to Python: How Programming Languages Have Evolved Over the Decades
dev.to·3d·
Discuss: DEV
🦀Rust
Comparing Spoken Languages using Paninian System of Sounds and Finite State Machines
arxiv.org·2d
✅Formal Verification
Fine-tuning Large Language Model for Automated Algorithm Design
arxiv.org·4h
✅Formal Verification
Compressed data structures for Heegaard splittings
arxiv.org·4h
🦀Rust
Programming Language Theory has a public relations problem
happyfellow.bearblog.dev·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Formal Verification
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.com·17h
🦀Rust
🔥 De‑constructing Cognition and Why LLMs Can’t Replicate It
dev.to·3h·
Discuss: DEV
🦀Rust
You Are in a Box
jyn.dev·1d·
Discuss: Lobsters, Hacker News
🦀Rust
Sparse Autoencoders Can Capture Language-Specific Concepts Across Diverse Languages
arxiv.org·4h
✅Formal Verification